This open access book looks at how a democracy can devolve into a post-factual state. The media is being flooded by populist narratives, fake news, conspiracy theories and make-believe. Misinformation is turning into a challenge for all of us, whether politicians, journalists, or citizens. In the age of information, attention is a prime asset and may be converted into money, power, and influence – sometimes at the cost of facts. The point is to obtain exposure on the air and in (...) print media, and to generate traffic on social media platforms. With information in abundance and attention scarce, the competition is ever fiercer with truth all too often becoming the first victim. Reality Lost: Markets of Attention, Misinformation and Manipulation is an analysis by philosophers Vincent F. Hendricks and Mads Vestergaard of the nuts and bolts of the information market, the attention economy and media eco-system which may pave way to postfactual democracy. Here misleading narratives become the basis for political opinion formation, debate, and legislation. To curb this development and the threat it poses to democratic deliberation, political self-determination and freedom, it is necessary that we first grasp the mechanisms and structural conditions that cause it. (shrink)

Mainstream and Formal Epistemology provides the first, easily accessible, yet erudite and original analysis of the meeting point between mainstream and formal theories of knowledge. These two strands of thinking have traditionally proceeded in isolation from one another, but in this book, Vincent F. Hendricks brings them together for a systematic comparative treatment. He demonstrates how mainstream and formal epistemology may significantly benefit from one another, paving the way for a new unifying program of 'plethoric' epistemology. His book will (...) both define and further the debate between philosophers from two very different sides of the epistemological spectrum. (shrink)

John Henry Newman's criticism of contemporary movements of thought and of education show him to be a nineteenth-century disciple of the Alexandrian Fathers of the Church.

This book sheds light on some recent discussions of the problems in probability theory and their history, analysing their philosophical and mathematical significance, and the role pf mathematical probability theory in other sciences.

Epistemic logic proceeds axiomatically. ”An agent knows that A” is formalized as a modal operator in a formal language which is interpreted using the standard apparatus of modal logic.

'Possible worlds' have been one of the true conundrum notions in philosophy. On the hand possible worlds have proved very useful in philosophical logic for obtaining significant formal results with sunbstantial philosophical import. Yet on the other they have generated much noise and commotion in especially metaphysics and epistemology. From a logical point of view they are useful tools or conceptual constructions, from a philosophical point of view troublesome entitites generating endless discussions.

Contemporary epistemologists are roughly divided into those relying largely on common-sense considerations and focusing on examples and counterexamples for advancing or rejecting various epistemological theses, and those applying a variety of tools and methods from logic, computability theory or probability theory to the theory of knowledge. The two sorts, and the traditions to which they hitherto are taken to belong, have unfortunately proceeded largely in isolation from one another. But on closer examination the approaches have much in common, may be (...) bridged for their mutual benefit and the advancement of epistemology in general. Here are 7 ways of doing it as the invited papers in this special issue of Philosophical Studies demonstrate the fruitful interaction between informal considerations and various formal apparata in order to support, sharpen, undermine, realize, or contribute in some other pertinent way to fundamental epistemological themes. (shrink)

The information society is upon us. New technologies have given us back pocket libraries, online discussion forums, blogs, crowdbased opinion aggregators, social media and breaking news wherever, whenever. But are we more enlightened and rational because of it? With points of departure in philosophy, logic, social psychology, economics, and choice and game theory, Infostorms shows how information may be used to improve the quality of personal decisions and group thinking but also warns against the informatonal pitfalls which modern information technology (...) may amplify: From science to reality culture and what it really is, that makes you buy a book like this. "With this brilliant book, we have been warned. It is up to all of us in the world today to be stewards of the common resource that is trustworthy and relevant information". Adam Brandenburger, Stern School of Business, NYU "It is a highly recommended read for social scientists and concerned citizens alike". Christian List, London School of Economic. (shrink)

Masses of Formal Philosophy is an outgrowth of Formal Philosophy. That book gathered the responses of some of the most prominent formal philosophers to five relatively open and broad questions initiating a discussion of metaphilosophical themes and problems surrounding the use of formal methods in philosophy. Including contributions from a wide range of philosophers, Masses of Formal Philosophy contains important new responses to the original five questions.

hiS volume in the Synthese Library Series is the result of a conference T held at the University of Roskilde, Denmark, October 31st-November 1st, 1997. The aim was to provide a forum within which philosophers, math ematicians, logicians and historians of mathematics could exchange ideas pertaining to the historical and philosophical development of proof theory. Hence the conference was called Proof Theory: History and Philosophical Significance. To quote from the conference abstract: Proof theory was developed as part of Hilberts Programme. (...) According to Hilberts Programme one could provide mathematics with a firm and se cure foundation by formalizing all of mathematics and subsequently prove consistency of these formal systems by finitistic means. Hence proof theory was developed as a formal tool through which this goal should be fulfilled. It is well known that Hilbert's Programme in its original form was unfeasible mainly due to Gtldel's incompleteness theorems. Additionally it proved impossible to formalize all of mathematics and impossible to even prove the consistency of relatively simple formalized fragments of mathematics by finitistic methods. In spite of these problems, Gentzen showed that by extending Hilbert's proof theory it would be possible to prove the consistency of interesting formal systems, perhaps not by finitis tic methods but still by methods of minimal strength. This generalization of Hilbert's original programme has fueled modern proof theory which is a rich part of mathematical logic with many significant implications for the philosophy of mathematics. (shrink)

In 1953, exactly 50 years ago to this day, the first volume of Studia Logica appeared under the auspices of The Philosophical Committee of The Polish Academy of Sciences. Now, five decades later the present volume is dedicated to a celebration of this 50th Anniversary of Studia Logica. The volume features a series of papers by distinguished scholars reflecting both the aim and scope of this journal for symbolic logic.

Pluralistic ignorance is a nasty informational phenomenon studied widely in social psychology and theoretical economics. It revolves around conditions under which it is "legitimate" for everyone to remain ignorant. In formal epistemology there is enough machinery to model and resolve situations in which pluralististic ignorance may arise. Here is a simple …rst stab at recovering from pluralistic ignorance by means of knowledge transmissibility.

Epistemic logic begins with the recognition that our everyday talk about knowing and believing has some systematic features that we can track and re‡ect upon. Epistemic logicians have studied and extended these glints of systematic structure in fascinating and important ways since the early 1960s. However, for one reason or another, mainstream epistemologists have shown little interest. It is striking to contrast the marginal role of epistemic logic in contemporary epistemology with the centrality of modal logic for metaphysicians. This article (...) is intended to help in correcting this oversight by presenting some important developments in epistemic logic and suggesting ways to understand their applicability to traditional epistemological problems. Obviously, by itself, tweaking the formal apparatus of epistemic logic does not solve traditional epistemological problems. Epistemic logic can help us to navigate through problems in a systematic fashion by unpacking the logic of the problematic concepts, it can also lead us to recognize problems that we had not anticipated. This is basically analogous to the role that modal logic has played in contemporary metaphysics. (shrink)

This book focuses on the problem of religious diversity, civil dialogue, and religion education in public schools, exploring the ways in which atheists, secularists, fundamentalists, and mainstream religionists come together in the public sphere, examining how civil discourse about religion fit swithin the ideals of the American political and pedagogical systems and how religious studies education can help to foster civility and toleration.

Americans have recently had thrust into their faces multiple media borne medical and social ethics dilemmas ranging from Dr. Kevorkian's euthanizing a patient on national television to payments by managed care providers for experimental medical treatments,to the nationally telecast situation which this paper will attempt to address. The case at hand concerns a minor in need of a repeat(third) kidney transplant who has been offered a kidney by her father. He also provided a kidney for her second kidney transplant some (...) years ago. The teenage girl went into her current kidney failure/organ rejection state because, feeling well, she stopped taking her antirejection medications. Her father appears to understand the consequences of this offer and is willing nonetheless to donate his remaining kidney to his daughter. His ex-wife and daughter want the kidney and will take it knowing what it will do to him. Of additional interest is that he is incarcerated as a prisoner for a crime for which he will be eligible for parole in the not distant future. This means that although altruistically self-induced, the State will become financially responsible for his medical care and dialysis treatments. This paper will attempt to analyze the competing issues presented by this dilemma and address the underlying conflict between the parameters patient autonomy, parental beneficence and the deontologically based responsibilities of the state and of the health care team. (shrink)

This book will be a rewarding reading for everybody who is interested in logical aspects of scientific knowledge acquisition. The presentation of the issues discussed in the book is exemplary. The author was able to present in parallel way three different perspectives under which the issues discussed in the book might be approached.

Epistemic Logic: 5 Questions is a collection of short interviews based on 5 questions presented to some of the most influential and prominent scholars in the field. We hear their views on the field, the aim, the scopes, the future direction of research and how their work fits in these respects.

The purpose of this survey is twofold: (1) to place some centralthemes of epistemic logic in a general epistemological context,and (2) to outline a new framework for epistemic logic developedjointly with S. Andur Pedersen unifying some key ``mainstream''epistemological concerns with the ``formal'' epistemologicalapparatus.

Formal Philosophy is a collection of short interviews based on 5 questions presented tosome of the most influential and prominent scholars in formal philosophy.

The aim of this thematically unified anthology is to track the history of epistemic logic, to consider some important applications of these logics of knowledge and belief in a variety of fields, and finally to discuss future directions of research with particular emphasis on 'active agenthood' and multi-modal systems. It is accessible to researchers and graduate students in philosophy, computer science, game theory, economics and related disciplines utilizing the means and methods of epistemic logic.

Skeptics argue that the acquisition of knowledge is impossible given the standing possibility of error. We present the limiting convergence strategy for responding to skepticism and discuss the relationship between conceivable error and an agent’s knowledge in the limit. We argue that the skeptic must demonstrate that agents are operating with a bad method or are in an epistemically cursed world. Such demonstration involves a significant step beyond conceivability and commits the skeptic to potentially convergent inquiry.

Abstract: Pluralistic ignorance is a nasty informational phenomenon widely studied in social psychology and theoretical economics. It revolves around conditions under which it is "legitimate" for everyone to remain ignorant. In formal epistemology there is enough machinery to model and resolve situations in which pluralistic ignorance may arise. Here is a simple first stab at recovering from pluralistic ignorance by means of knowledge transmissibility.

Henri J. Renard, S. J.: a sketch, by J. P. Jelinek.--The good as undefinable, by M. Childress.--Gottlieb Söhngen's sacramental doctrine on the mass, by J. F. Clarkson.--Christ's eucharistic action and history, by B. J. Cooke.--Objective reality of human ideas: Descartes and Suarez, by T. J. Cronin.--A medieval commentator on some Aristotelian educational themes, by J. W. Donohue.--God as sole cause of existence, by M. Holloway.--Knowledge, commitment, and the real, by R. O. Johann.--John Locke and sense realism, by H. R. Klocker.--The (...) being of nonbeing in Plato's Sophist, by Q. Lauer.--Ethics and verification, by R. McInerny.--Analogy and the fourth way, by J. J. O'Brien.--Love and being, by W. L. Rossner.--Complexity in human knowledge: its basis in form/matter composition, by E. L. Rousseau.--Toward a more dynamic understanding of substance and relation, by J. M. Somerville.--The origin of participant and of participated perfections in Proclus' Elements of theology, by L. Sweeney. (shrink)

The volume includes the proceedings from the conference FOL75 -- 75 Years of First-Order Logic held at Humboldt University, Berlin, September 18 - 21, 2003 on the occasion of the anniversary of the publication of Hilbert's and Ackermann's Grundzuge der theoretischen Logik. The papers provide analyses of the historical conditions of the shaping of FOL, discuss several modern rivals to it, and show the importance of FOL for interdisciplinary research. While there is no doubt that the celebrated book marks a (...) most important step in the development of logic, the volume in hand proves the actuality of the question "Which logic is the right logic." The volume contains articles by: H. Andreka, J. X. Madarasz, I. Nemeti, A. Avron, K. Brunnler, A. Guglielmi, G. Englebretsen, W. Ewald, P. Hajek, J. Hintikka, W. Hodges, M. Kracht, R. Lanzet, H. Ben-Yami, C. Toke, S. P. Odintsov, H. Wansing, J. A. Robinson, M. Rossberg, M. Thielscher, D. E. Willard, andJ. Wole 'nski. (shrink)

A view among methodologists is that truth and convergence are related in such a way that scienti…c theories in their historical order of appearance contribute to the convergence to an ultimate ideal theory. It is not a fact that science develops accordingly but rather a hypothetical thought experiment to explain why science develops at all. Here, a simple formal model is presented for scrutinizing the relations between two truths and convergence.

In 1974, a wonderful little book came out entitled Formal Philosophy: Selected Papers of Richard Montague, edited by Richmond H. Thomason. The book was a beautiful testimony to the fact that formal methods may indeed clarify, sharpen and solve philosophical problems, defusing airy philosophical intuitions in clear, crisp and concise ways while at the same time turning philosophical wonder into scientific inquiry.

Since the days of John Locke the questions "Who am I?" and "What am I?" have loomed large in philosophical and psychological literature. The nature of the self and the relationship of a person and his body have become a riddle especially with the developments in brain surgery.

Much like the trade and traits of bubbles in financial markets, similar bubbles appear on the science market. When economic bubbles burst, the drop in prices causes the crash of unsustainable investments leading to an investor confidence crisis possibly followed by a financial panic. But when bubbles appear in science, truth and reliability are the first victims. This paper explores how fashions in research funding and research management may turn science into something like a bubble economy.